منابع مشابه
Adequate formalization
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of inf...
متن کاملNon-deterministic ideal operators: An adequate tool for formalization in Data Bases
In this paper, we propose the application of formal methods to Software Engineering. The most used data model is the relational model and we present, within the general framework of lattice theory, this analysis of functional dependencies. For this reason, we characterize the concept of f -family by means of a new concept which we call non-deterministic ideal operator (nd.ideal-o). The study of...
متن کاملDiagnostic Games: from Adequate Formalization of Clinical Experience to Structure Discovery
A method of obtaining well-founded and reproducible results in clinical decision making is presented. It is based on "diagnostic games", a procedure of elicitation and formalization of experts' knowledge and experience. The use of this procedure allows formulating decision rules in the terms of an adequate language, that are both unambiguous and clinically clear.
متن کاملCarnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tool...
متن کاملEquations without Equations: Challenges on a Way to a More Adequate Formalization of Causality Reasoning in Physics, By
Our interest in causality reasoning in physics was enhanced by the need to formalize reasoning in physics. In medicine, geophysics, and in many other applications areas, expert systems use automated expert reasoning to help the users; see, e.g., (2). We expect that similar systems may be helpful in general theoretical physics as well. To design such systems, we must formalize physicists’ reason...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2007
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-007-9218-1